bench_dir=$1
exec_bin=$2

pbs_dir=$bench_dir/pbs
create_pbs_bin=scripts/run_basic/syntcomp23/new_sed2.sh
mkdir -p $pbs_dir

sh $create_pbs_bin $bench_dir $exec_bin Random/Syft/syft_1    > $pbs_dir/syft_1.pbs
sh $create_pbs_bin $bench_dir $exec_bin Random/Syft/syft_2    > $pbs_dir/syft_2.pbs
sh $create_pbs_bin $bench_dir $exec_bin Random/Syft/syft_3    > $pbs_dir/syft_3.pbs
sh $create_pbs_bin $bench_dir $exec_bin Random/Syft/syft_4    > $pbs_dir/syft_4.pbs
sh $create_pbs_bin $bench_dir $exec_bin Random/Syft/syft_5    > $pbs_dir/syft_5.pbs
